Section: Software

SToP

Participants : Christophe Alias, Guillaume Andrieu [LIFL] , Laure Gonnord [Compsys/LIFL] .

SToP (Scalable Termination of Programs) is the implementation of the modular termination technique presented in Section  6.7 . It takes as input a large irregular C program and conservatively checks its termination. To do so, SToP generates a set of small programs whose termination implies the termination of the whole input program. Then, the termination of each small program is checked thanks to RanK. In case of success, SToP infers a ranking (schedule) for the whole program. This schedule can be used in a subsequent analysis to optimize the program.

SToP represents more than 2000 lines of C++.